national technical information service (ntis) - German English Dictionary